logic of strict implication

См. также в других словарях:

• strict implication — noun A material implication that is acted upon by the necessity operator from modal logic. Syn: strict conditional Ant: material implication …   Wiktionary

• strict implication — In the modal logic of C. I. Lewis, if it is not possible that p and not q, then p is said to strictly imply q . See also strict implication, paradox of …   Philosophy dictionary

• Strict conditional — In logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic. For any two propositions p and q, the formula p ightarrow q says that p materially implies q while Box (p ightarrow q) says… …   Wikipedia

• Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

• implication — implicational, adj. /im pli kay sheuhn/, n. 1. something implied or suggested as naturally to be inferred or understood: to resent an implication of dishonesty. 2. the act of implying: His implication of immediate changes surprised us. 3. the… …   Universalium

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Implication stricte — En logique mathématique, l implication stricte est une construction de Clarence Irving Lewis basée sur la logique modale. L objectif de l implication stricte est d éviter les apparents paradoxes de la logique propositionnelle, par exemple le fait …   Wikipédia en Français

• applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

• formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

• Relevance logic — Relevance logic, also called relevant logic, is a kind of non classical logic requiring the antecedent and consequent of implications be relevantly related. They may be viewed as a family of substructural or modal logics. (It is generally, but… …   Wikipedia

• List of topics in logic — This is a list of topics in logic.See also: List of mathematical logic topicsAlphabetical listAAbacus logic Abduction (logic) Abductive validation Affine logic Affirming the antecedent Affirming the consequent Antecedent Antinomy Argument form… …   Wikipedia